Algebraic Specification of Discrete Event System Models and Their Refinements
نویسندگان
چکیده
منابع مشابه
Specification of Discrete Event Models for Fire Spreading
The fire spreading phenomenon is highly complex, and existing mathematical models of fire are so complex themselves, that any possibility of analytical solution is precluded. Instead, there has been some success when studying fire spread by means of simulation. However, precise and reliable mathematical models are still under development. They require extensive computing resources, being adequa...
متن کاملA discrete event system specification (DEVS)-based model of consanguinity
Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale consanguineous parental populations because of disparate cultural issues unique to regions and cultures across the globe. Although consanguinity has previously bee...
متن کاملSimulation of mobile networks using discrete event system specification theory
The fourth generation (4G) of mobile telecommunication technology provides ultra-band internet access for mobile devices such as smartphones, tablets, and laptops. One of the challenges in the Long Term Evolution (LTE) 4G networks is the low data rate for cell-edge users as well as coverage gaps. In this paper, we define and evaluate models for analysis of performance of mobile networks archite...
متن کاملPrinciples of Discrete Event System Specification model verification
Real-time systems modeling and verification is a complex task. In many cases, formal methods have been employed to deal with the complexity of these systems, but checking those models is usually unfeasible. Modeling and simulation methods introduce a means of validating these model’s specifications. In particular, Discrete Event System Specification (DEVS) models can be used for this purpose. H...
متن کاملDevelopment of Discrete Event System Specification (DEVS) Building Performance Models for Building Energy Design
The discrete event system specification (DEVS) is a formalism for describing simulation models in a modular fashion. In this study, it is exploited by forming submodels that allow different professions involved in the building design process to work independently to create an integrated model. These submodels are the building, the HVAC system, and the occupant. In this study, a coupled DEVS bui...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 1994
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.30.79